#include "libc/sysv/consts/syscon.internal.h"
.syscon nr,__NR_gettimeofday,0x0060,0x2000074,0x0074,0x0043,0x1a2,0xfff
